Probabilistic Timed Automata with Clock-Dependent Probabilities

Probabilistic timed automata are classical timed automata extended with discrete probability distributions over edges. We introduce clock-dependent probabilistic timed automata, a variant of probabilistic timed automata in which transition probabilities can depend linearly on clock values. Clock-dependent probabilistic timed automata allow the modelling of a continuous relationship between time passage and the likelihood of system events. We show that the problem of deciding whether the maximum probability of reaching a certain location is above a threshold is undecidable for clock-dependent probabilistic timed automata. On the other hand, we show that the maximum and minimum probability of reaching a certain location in clock-dependent probabilistic timed automata can be approximated using a region-graph-based approach.Comment: Full version of a paper published at RP 201

Resonances in J/ψ→ϕπ+π−J/\psi \to \phi \pi ^+\pi ^- and ϕK+K−\phi K^+K^-

A partial wave analysis is presented of $J/\psi \to \phi \pi ^+\pi ^-$ and $\phi K^+K^-$ from a sample of 58M $J/\psi$ events in the BES II detector. The $f_0(980)$ is observed clearly in both sets of data, and parameters of the Flatt\' e formula are determined accurately: $M = 965 \pm 8$ (stat) $\pm 6$ (syst) MeV/c$^2$, $g_1 = 165 \pm 10 \pm 15$ MeV/c$^2$, $g_2/g_1 = 4.21 \pm 0.25 \pm 0.21$. The $\phi \pi \pi$ data also exhibit a strong $\pi \pi$ peak centred at $M = 1335$ MeV/c$^2$. It may be fitted with $f_2(1270)$ and a dominant $0^+$ signal made from $f_0(1370)$ interfering with a smaller $f_0(1500)$ component. There is evidence that the $f_0(1370)$ signal is resonant, from interference with $f_2(1270)$. There is also a state in $\pi \pi$ with $M = 1790 ^{+40}_{-30}$ MeV/c$^2$ and $\Gamma = 270 ^{+60}_{-30}$ MeV/c$^2$; spin 0 is preferred over spin 2. This state, $f_0(1790)$, is distinct from $f_0(1710)$. The $\phi K\bar K$ data contain a strong peak due to $f_2'(1525)$. A shoulder on its upper side may be fitted by interference between $f_0(1500)$ and $f_0(1710)$.Comment: 17 pages, 6 figures, 1 table. Submitted to Phys. Lett.

Measurement of the Branching Fraction of J/psi --> pi+ pi- pi0

Using 58 million J/psi and 14 million psi' decays obtained by the BESII experiment, the branching fraction of J/psi --> pi+ pi- pi0 is determined. The result is (2.10+/-0.12)X10^{-2}, which is significantly higher than previous measurements.Comment: 9 pages, 8 figures, RevTex

Search for K_S K_L in psi'' decays

K_S K_L from psi'' decays is searched for using the psi'' data collected by BESII at BEPC, the upper limit of the branching fraction is determined to be B(psi''--> K_S K_L) < 2.1\times 10^{-4} at 90% C. L. The measurement is compared with the prediction of the S- and D-wave mixing model of the charmonia, based on the measurements of the branching fractions of J/psi-->K_S K_L and psi'-->K_S K_L.Comment: 5 pages, 1 figur

First observation of psi(2S)-->K_S K_L

The decay psi(2S)-->K_S K_L is observed for the first time using psi(2S) data collected with the Beijing Spectrometer (BESII) at the Beijing Electron Positron Collider (BEPC); the branching ratio is determined to be B(psi(2S)-->K_S K_L) = (5.24\pm 0.47 \pm 0.48)\times 10^{-5}. Compared with J/psi-->K_S K_L, the psi(2S) branching ratio is enhanced relative to the prediction of the perturbative QCD ``12%'' rule. The result, together with the branching ratios of psi(2S) decays to other pseudoscalar meson pairs (\pi^+\pi^- and K^+K^-), is used to investigate the relative phase between the three-gluon and the one-photon annihilation amplitudes of psi(2S) decays.Comment: 5 pages, 4 figures, 2 tables, submitted to Phys. Rev. Let

First Measurements of eta_c Decaying into K^+K^-2(pi^+pi^-) and 3(pi^+pi^-)

The decays of eta_c to K^+K^-2(pi^+pi^-) and 3(pi^+pi^-) are observed for the first time using a sample of 5.8X10^7 J/\psi events collected by the BESII detector. The product branching fractions are determined to be B(J/\psi-->gamma eta_c)*B(eta_c-->K^+K^-pi^+pi^-pi^+pi^-)=(1.21+-0.32+- 0.23)X10^{-4}$,B(J/\psi-->gamma eta_c)*B(eta_c-->K^{*0}\bar{K}^{*0}pi^+pi^-)= (1.29+-0.43+-0.32)X10^{-4}$, and (J/\psi-->gamma eta_c)* B(eta_c-->pi^+pi^-pi^+pi^-pi^+pi^-)= (2.59+-0.32+-0.48)X10^{-4}. The upper limit for eta_c-->phi pi^+pi^-pi^+pi^- is also obtained as B(J/\psi-->gamma eta_c)*B(eta_c--> phi pi^+pi^-pi^+pi^-)< 6.03 X10^{-5} at the 90% confidence level.Comment: 11 pages, 4 figure

Study of psi(2S) decays to X J/psi

Using J/psi -> mu^+ mu^- decays from a sample of approximately 4 million psi(2S) events collected with the BESI detector, the branching fractions of psi(2S) -> eta J/psi, pi^0 pi^0 J/psi, and anything J/psi normalized to that of psi(2S) -> pi^+ pi^- J/psi are measured. The results are B(psi(2S) -> eta J/psi)/B(psi(2S) -> pi^+ pi^- J/psi) = 0.098 \pm 0.005 \pm 0.010, B(psi(2S) -> pi^0 pi^0 J/psi)/B(psi(2S) -> pi^+ pi^- J/psi) = 0.570 \pm 0.009 \pm 0.026, and B(psi(2S) -> anything J/psi)/B(psi(2S) -> pi^+ pi^- J/psi) = 1.867 \pm 0.026 \pm 0.055.Comment: 13 pages, 8 figure

Differential spatial modulation for high-rate transmission systems

This paper introduces a new differential spatial modulation (DSM) scheme which subsumes both the previously introduced DSM and high-rate spatial modulation (HR-SM) for wireless multiple input multiple output (MIMO) transmission. By combining the codeword design method of the HR-SM scheme with the encoding method of the DSM scheme, we develop a high-rate differential spatial modulation (HR-DSM) scheme equipped with an arbitrary number of transmit antennas that requires channel state information (CSI) neither at the transmitter nor at the receiver. The proposed approach can be applied to any equal energy signal constellations. The bit error rate (BER) performance of the proposed HR-DSM schemes is evaluated by using both theoretical upper bound and computer simulations. It is shown that for the same spectral efficiency and antenna configuration, the proposed HR-DSM outperforms the DSM in terms of bit error rate (BER) performance

Search for astronomical neutrinos from blazar TXS 0506+056 in super-kamiokande

We report a search for astronomical neutrinos in the energy region from several GeV to TeV in the direction of the blazar TXS 0506+056 using the Super-Kamiokande detector following the detection of a 100 TeV neutrinos from the same location by the IceCube collaboration. Using Super-Kamiokande neutrino data across several data samples observed from 1996 April to 2018 February we have searched for both a total excess above known backgrounds across the entire period as well as localized excesses on smaller timescales in that interval. No significant excess nor significant variation in the observed event rate are found in the blazar direction. Upper limits are placed on the electron- and muon-neutrino fluxes at the 90% confidence level as 6.0 × 10−7 and 4.5 × 10−7–9.3 × 10−10 [erg cm−2 s−1], respectively

Identification of Human Fibroblast Cell Lines as a Feeder Layer for Human Corneal Epithelial Regeneration

There is a great interest in using epithelium generated in vitro for tissue bioengineering. Mouse 3T3 fibroblasts have been used as a feeder layer to cultivate human epithelia including corneal epithelial cells for more than 3 decades. To avoid the use of xeno-components, we evaluated human fibroblasts as an alternative feeder supporting human corneal epithelial regeneration. Five human fibroblast cell lines were used for evaluation with mouse 3T3 fibroblasts as a control. Human epithelial cells isolated from fresh corneal limbal tissue were seeded on these feeders. Colony forming efficiency (CFE) and cell growth capacity were evaluated on days 5–14. The phenotype of the regenerated epithelia was evaluated by morphology and immunostaining with epithelial markers. cDNA microarray was used to analyze the gene expression profile of the supportive human fibroblasts. Among 5 strains of human fibroblasts evaluated, two newborn foreskin fibroblast cell lines, Hs68 and CCD1112Sk, were identified to strongly support human corneal epithelial growth. Tested for 10 passages, these fibroblasts continually showed a comparative efficiency to the 3T3 feeder layer for CFE and growth capacity of human corneal epithelial cells. Limbal epithelial cells seeded at 1×104 in a 35-mm dish (9.6 cm2) grew to confluence (about 1.87–2.41×106 cells) in 12–14 days, representing 187–241 fold expansion with over 7–8 doublings on these human feeders. The regenerated epithelia expressed K3, K12, connexin 43, p63, EGFR and integrin β1, resembling the phenotype of human corneal epithelium. DNA microarray revealed 3 up-regulated and 10 down-regulated genes, which may be involved in the functions of human fibroblast feeders. These findings demonstrate that commercial human fibroblast cell lines support human corneal epithelial regeneration, and have potential use in tissue bioengineering for corneal reconstruction